VLMC控制流软件可靠性度量方法

针对现有软件可靠性模型普遍不适用于实际软件的问题,分析了软件内部模块间控制转移机理,通过分离入口模块,提取一阶控制转移概率矩阵;弱化内部模块与出口模块间差异,重构二阶以上转移概率矩阵,在改进Cheung模型的基础上建立一个更符合软件实际的可靠性度量模型。针对变阶依赖（ VLMC）控制转移导致的可靠性度量难问题,通过对导致复杂依赖的多入多出模块进行节点扩展,将VLMC控制流转化为Markov链,利用所建立的软件可靠性模型对VLMC控制流软件进行可靠性度量。研究利用演绎推理对所建立模型进行了正确性形式化证明。最后给出了方法的实例验证。     

蒸汽管道金属蠕变电测仪的研制

从理论和实践两方面对金属材料中蠕变损伤进行了讨论.由其变化与金属内部电阻变化的相关性,提出并研制了一种集无损、准确、灵活、价廉于一体的自动测试系统.这一测试仪器的研制将有利于对金属构件的蠕变损伤的定量研究.     

存储示波器在测量核爆炸电磁脉冲中的应用

介绍了存储示波器在核爆炸电磁脉冲测量中的应用,给出了系统框图,用计算机作ＦＦＴ运算,实现频谱分析．     

微弱信号测量的一种实现方法

介绍了一种μＶ级微弱电信号测量的实现方法,给出了测量放大电路的具体设计以及信号采集与处理软件流程图．与传统测量方法相比,此测量方法所使用的仪器体积小,重构测量系统方便,可直接由计算机对信号进行分析,是目前信号测量的主要发展方向．     

The Obama administration's phased-adaptive architecture: technological,operational and political issues

In 2009, the Obama administration announced a new missile defense strategy, termed a phased-adaptive architecture (PAA) focused primarily on countering the growing threat from theater ballistic missiles. The success of this strategy is predicated on the rapid development and fielding of successive increments of defensive capability in a manner adapted to the specific requirements for missile defenses in different regions of the world. The administration is committed to building a European regional missile defense system, the European PAA or EPAA between now and 2020. The first elements of the EPAA were deployed in late 2011. However, much progress is still required in order to reach the goals set for the PAA. This article addresses the technological, operational and political issues confronting the Obama administration in its efforts to make the PAA a reality.     

非理想信道下测量零值无偏干扰抑制滤波器设计

现有的抗干扰滤波器在通道非理想特性下会导致接收机测量零值发生偏移,且偏移量与干扰参数相关,其已成为高精度测距接收机实现其精度提升的主要障碍。针对上述问题,从对称通道特性出发,给出一种无偏的时域抗干扰滤波器设计技术。解决了传统的时域抗干扰滤波器在非理想信道下测量零值偏移的问题,且工程实现简单。理论分析和仿真实验进一步验证了方法的有效性,采用该方法可以使测量零值偏移小于0.2 ns。     

指挥信息系统验证理论和验证方法

从验证的概念讨论出发,针对“指挥信息系统验证”,从概念和含义、产品和结果、目的和作用等多方面进行了详细解读,给出了较详细的验证方法和步骤,并就验证与测试的区别和关联进行了讨论,然后对广义概念上的“指挥信息系统验证”做了更深入的探讨,最后提出了验证应遵序的原则和注意事项。     

确定相对体制雷达对不同飞机性能的检飞标准

如何在不同检飞机型的条件下,检验防空导弹武器系统制导雷达的性能,是工程上亟待解决的技术问题。将实践经验和理论分析充分结合,本着经济实用的原则,提出了"对比检飞、等信噪比和等概率"的指标转换方法,确定了不同检飞机型的评定标准。通过实际应用,证明确定的标准切合实际。     

水压场信息处理系统

介绍了以３８６型微机为核心,由微压差传感器、传感器平衡及实时标定装置、直流放大器、Ａ／Ｄ转换器、站位控制电路构成的实验室用模型水压场信息处理系统．     

精确制导武器发展趋向

通过“科索沃战争”中精确制导武器使用情况的跟踪研究 ,结合近年来国外公开报道的有关资料 ,分析未来高技术条件下局部战争对精确制导武器的发展需求 ,提出在军事技术高速发展新形势下精确制导武器发展趋向。